Set Theory, Type Theory, and Absolute Generality
نویسندگان
چکیده
منابع مشابه
Combining Type Theory and Untyped Set Theory
We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated support for constructing proofs within this set theory. One of the novel aspects of the representation is that one is allowed to use any class (in the set theory) as a type (in the type theory). Such class types allow a natural way...
متن کاملRealizing Mahlo set theory in type theory
After introducing the large set notion of Mahloness, this paper shows that constructive set theory with an axiom asserting the existence of a Mahlo set has a realizability interpretation in an extension of Martin-Löf type theory developed by A. Setzer.
متن کاملModeling set theory in homotopy type theory
Homotopy type theory is a new foundation of mathematics under current development. To compare it with the existing set theoretic foundation, we formalize the cumulative hierarchy of sets in the Coq system, closely following and clarifying the informal treatment in the homotopy type theory book [17].
متن کاملAbsolute Identity and Absolute Generality
In conversations between native speakers, words such as ‘same’ and ‘identical’ do not usually cause much difficulty. We take it for granted that others use them with the same sense as we do. If it is unclear whether numerical or qualitative identity is intended, a brief gloss such as ‘one thing not two’ for the former or ‘exactly alike’ for the latter removes the unclarity. In this paper, numer...
متن کاملFUZZY SOFT SET THEORY AND ITS APPLICATIONS
In this work, we define a fuzzy soft set theory and its related properties. We then define fuzzy soft aggregation operator that allows constructing more efficient decision making method. Finally, we give an example which shows that the method can be successfully applied to many problems that contain uncertainties.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 2014
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/fzu039